]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc4b8c8) | patch
windowMenu: Close when corresponding window goes away
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 21 May 2015 16:14:51 +0000 (18:14 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 21 May 2015 16:20:39 +0000 (18:20 +0200)
commit60d1f7797cb836d9aaef1aa0301bbd4b0171991e
treec97d947d5c9d71e7098d54385cceff3c677336dbtree | snapshot
parentdc4b8c876e3937eb578faea260a2459c244012e5commit | diff
windowMenu: Close when corresponding window goes away

The menu is clearly associated with a particular window, so keeping
it around when the window is gone doesn't make sense - in case of
the window menu, it is actually harmful as every action will act on
the invalidated window and result in a crash. So just dismiss the
menu when the menu is unmanaged.

https://bugzilla.gnome.org/show_bug.cgi?id=749529
js/ui/windowMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.